@InProceedings{CruzFerrSilv:2020:StVaAu,
author = "Cruz, Caio Gustavo Rodrigues da and Ferreira, Maur{\'{\i}}cio
Gon{\c{c}}alves Vieira and Silva, Rodrigo Rocha",
affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto
Nacional de Pesquisas Espaciais (INPE)} and {Universidade de
Coimbra}",
title = "State validation in automated planning",
booktitle = "Proceedings...",
year = "2020",
pages = "396--406",
organization = "International Conference on Enterprise Information Systems, 22.",
keywords = "Planning Preference, Invalid States, PDDL.",
abstract = "The crescent number of automated systems in satellites raises
several security and reliability concerns, that are worsened with
the time. Plan validation techniques were created to validate
flight operation plans generated automatically. The execution of
automatically generated plans on satellite flight operations can
result in degraded or invalid states. Verifying the possibility of
removing these states of a plan through a state validation
technique is the objective of this paper. Analyzing the action
that generated and, in planning time, remove the invalid states
from the plan steps enables the planner to find the final state
without any invalid state. Therefore, implementing a state
validator in the automated planner prevents the plan from
containing any invalid state.",
conference-location = "Prague",
conference-year = "05-07 May",
doi = "10.5220/0009411903960406",
url = "http://dx.doi.org/10.5220/0009411903960406",
isbn = "9789897584237",
label = "lattes: 1304704585952173 1 FerreiraRodrSilv:2020:StVaAu",
language = "pt",
targetfile = "cruz_state.pdf",
volume = "1",
urlaccessdate = "11 maio 2024"
}